41. Formal syntax and semantics of Java
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;
42. Foundations of object-oriented languages
پدیدآورنده: / Kim B. Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Object-oriented programming (Computer science),Programming languages (Electronic computers)
رده :
QA
,
76
.
64
,.
B776
,
2002
43. Initial computability, algebraic specifications, and partial algebras
پدیدآورنده: / by Horst Reichel
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras
رده :
QA
76
.
9
.
M35R45
1987
44. Introduction to natural language processing
پدیدآورنده: Harris, Mary Dee
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Interactive computer system,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
I58
H37
1985
45. Introduction to the theory of programming languages
پدیدآورنده: Bertrand meyer
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Programming languages )Electronic computers(,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
,.
7
.
M49
1990
46. Introduction to the theory of programming languages
پدیدآورنده: / Bertrand Meyer
کتابخانه: کتابخانه مؤسسه ژئوفیزیک (دانشگاه تهران) (تهران)
موضوع: Programming languages )Electronic computers(,Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
7
.
M49
47. Introduction to the theory of programming languages
پدیدآورنده: Bertrand Meyer,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع: Programming languages )Electronic computers(,Programming languages )Electronic computers(, Semantics
رده :
QA
.
M49
76
.
7
1988
48. Introduction to the theory of programming languages
پدیدآورنده: / bertrand Meyer,Meyer
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Programming language (Electronic Computers),Programming languages ( Electronic computers) --Semantics
رده :
QA
76
.
7
.
M49
1990
49. Introduction to the theory of programming languages
پدیدآورنده: Meyer, Bertrand
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Progamming languages )Electronic computer(,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
M49
1991
50. Introduction to the theory of programming languages
پدیدآورنده: Meyer, Bertrand
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
7
.
M49
1988
51. Introduction to the theory of programming languages
پدیدآورنده: Meyer, Bertrand, 0591-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Programming languages )Electronic computers(,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
M49
52. Introduction to the theory of programming languages
پدیدآورنده: / Bertrand Meyer
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers) - Semantics
رده :
QA76
.
7
.
M4I5
1988
53. Introduction to the theory of programming languages
پدیدآورنده: / Gilles Dowek, Jean-Jacques Laevy
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers)--Semantics
رده :
QA76
.
7
.
D6813
2011
54. Introduction to the theory of programming languages
پدیدآورنده: / Gilles Dowek, Jean-Jacques Laevy
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
D6813
,
2011
55. Introduction to the theory of programming languages
پدیدآورنده: / Gilles Dowek, Jean-Jacques Laevy
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers), Semantics
رده :
QA76
.
7
.
D6813
2011
56. Introduction to the theory of programming languages
پدیدآورنده: / Bertrand Meyer
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers) -- Semantics
رده :
QA
76
.
7
.
M49
1988
57. Introduction to the theory of programming languages
پدیدآورنده: / Bertrand Meyer
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Programming languages (Electronic computer),Programming languages (Electronic computers) - Semantics
رده :
QA76
.
7
.
M49
1988
58. It's all about coordination :
پدیدآورنده: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb
59. Journal on data semantics I
پدیدآورنده: / Stefano Spaccapiertra, Sal March, Karl Aberer (eds.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)--Semantics,Semantics.
